Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
Testing Equivalence for Mobile Processes (Extended Abstract)
1992-01-01 Boreale, M; De Nicola, R
Testing Equivalence for Processes
1983-01-01 De Nicola, R; Hennessy, M
Tools and verification
2011-01-01 Massimo, Bartoletti; Luís, Caires; Ivan, Lanese; Franco, Mazzanti; Davide, Sangiorgi; MENDES TORRES VIEIRA, H; Roberto, Zunino
Triadic motifs and dyadic self-organization in the World Trade Network
2012-01-01 Squartini, T; Garlaschelli, D
Tuple spaces implementations and their efficiency
2016-01-01 Buravlev, V.; De Nicola, R; Mezzina, C
Type-based access control in data-centric systems
2011-01-01 Luís, Caires; Jorge A., Pérez; João Costa, Seco; MENDES TORRES VIEIRA, H; Lúcio, Ferrão
Types for Coordinating Secure Behavioural Variations
2012-01-01 Degano, P; Ferrari, G; Galletta, L; Mezzetti, G
Typing liveness in multiparty communicating systems
2014-01-01 Luca, Padovani; Vasco Thudichum, Vasconcelos; MENDES TORRES VIEIRA, H
Typing progress in communication-centred systems
2013-01-01 MENDES TORRES VIEIRA, H; Vasco Thudichum, Vasconcelos
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.
1990-01-01 De Nicola, R; Inverardi, P; Nesi, M
Verifying Properties of Systems Relying on Attribute-Based Communication.
2017-01-01 De Nicola, R; Tan, Duong; Omar, Inverso; Franco, Mazzanti
Where Do Your IoT Ingredients Come From?
2016-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Testing Equivalence for Mobile Processes (Extended Abstract) | 1-gen-1992 | Boreale, M; De Nicola, R | |
Testing Equivalence for Processes | 1-gen-1983 | De Nicola, R; Hennessy, M | |
Tools and verification | 1-gen-2011 | Massimo, Bartoletti; Luís, Caires; Ivan, Lanese; Franco, Mazzanti; Davide, Sangiorgi; MENDES TORRES VIEIRA, H; Roberto, Zunino | |
Triadic motifs and dyadic self-organization in the World Trade Network | 1-gen-2012 | Squartini, T; Garlaschelli, D | |
Tuple spaces implementations and their efficiency | 1-gen-2016 | Buravlev, V.; De Nicola, R; Mezzina, C | |
Type-based access control in data-centric systems | 1-gen-2011 | Luís, Caires; Jorge A., Pérez; João Costa, Seco; MENDES TORRES VIEIRA, H; Lúcio, Ferrão | |
Types for Coordinating Secure Behavioural Variations | 1-gen-2012 | Degano, P; Ferrari, G; Galletta, L; Mezzetti, G | |
Typing liveness in multiparty communicating systems | 1-gen-2014 | Luca, Padovani; Vasco Thudichum, Vasconcelos; MENDES TORRES VIEIRA, H | |
Typing progress in communication-centred systems | 1-gen-2013 | MENDES TORRES VIEIRA, H; Vasco Thudichum, Vasconcelos | |
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. | 1-gen-1990 | De Nicola, R; Inverardi, P; Nesi, M | |
Verifying Properties of Systems Relying on Attribute-Based Communication. | 1-gen-2017 | De Nicola, R; Tan, Duong; Omar, Inverso; Franco, Mazzanti | |
Where Do Your IoT Ingredients Come From? | 1-gen-2016 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile